/* Benchmarks for the PionterC verifier. */

// list visit

struct list 
{
  int data;
  struct list* next;
};

/*@
  @*/
struct list* creatList()
{
  struct list* p;
  p = alloc(struct list);
  return p;
}
/*@ 
  @*/
  
